Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
21	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
22	Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:06 Concurrency Models of computation Petri nets Diagrams Software engineering Petri Theoretical computer science Metaphor
23	An Algebraic Framework for Urgency Sebastien Bornot and Joseph Sifakis Verimag, 2 rue Vignate, 38610 Gieres, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Concurrency Diagrams Petri net Metaphor Simulation
24	Genome Informatics 12: 54–XML Documentation of Biopathways and Their Simulations in Genomic Object Net Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:05 Computing Lambda phage Siphoviridae Bioinformatics CII protein Petri net Document type definition
25	Genome Informatics 12: 239–Genomic Object Net: XML Visualization of Simulation Results from Biological Modeling on Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:09 Biology Genetics Genomics Gene expression Systems biology Gene regulatory network Networks Human genome Petri net Period Systems science
26	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
27	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Diagrams Models of computation Software engineering Concurrency Message sequence chart Abstraction Petri net Infographics Computing Model checking Tree Algorithm
28	IEEE TRANSACTIONS ON COMPUTERS, MANUSCRIPT ID 1 Automated Model-Based Testing of RoleBased Access Control Using Predicate/Transition Nets Add to Reading List Source URL: www.itrust.lu Language: English - Date: 2015-05-05 11:12:03 Computer security Computer access control Access control Role-based access control Data security NIST RBAC model Role hierarchy Petri net PERMIS XACML Model-based testing Reliability engineering
29	Scenario-Aware Dataflow B.D. Theelen, M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten and A.H. Ghamarian ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2008-07-09 06:48:14 Video compression Video compression picture types Petri net
30	Transforming BPEL into Petri Nets Sebastian Hinz, Karsten Schmidt, Christian Stahl Motivation Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:03 Workflow technology Process management Business Process Execution Language Diagrams Petri net Business process modeling Formal verification YAWL Business Process Modeling Language